PULP_LIB_NAME_rt = rtbare

CONFIG_CFLAGS = -D__RT_MODE_BARE=1